The provability logic of a theory $T$ is the set of modal formulas, which under any arithmetical realization are provable in $T$. We slightly modify this notion by requiring the arithmetical realizations to come from a specified set $\Gamma$. We make an analogous modification for interpretability logics. We first study provability logics with restricted realizations and show that for various natural candidates of $T$ and restriction set $\Gamma$, the result is the logic of linear frames. However, for the theory Primitive (...) Recursive Arithmetic (PRA), we define a fragment that gives rise to a more interesting provability logic by capitalizing on the well-studied relationship between PRA and I$\Sigma_1$. We then study interpretability logics, obtaining upper bounds for IL(PRA), whose characterization remains a major open question in interpretability logic. Again this upper bound is closely related to linear frames. The technique is also applied to yield the nontrivial result that IL(PRA) $\subset$ ILM. (shrink)

Given its non-invasive nature, there is increasing interest in the use of transcutaneous vagus nerve stimulation across basic, translational and clinical research. Contemporaneously, tVNS can be achieved by stimulating either the auricular branch or the cervical bundle of the vagus nerve, referred to as transcutaneous auricular vagus nerve stimulation and transcutaneous cervical VNS, respectively. In order to advance the field in a systematic manner, studies using these technologies need to adequately report sufficient methodological detail to enable comparison of results between (...) studies, replication of studies, as well as enhancing study participant safety. We systematically reviewed the existing tVNS literature to evaluate current reporting practices. Based on this review, and consensus among participating authors, we propose a set of minimal reporting items to guide future tVNS studies. The suggested items address specific technical aspects of the device and stimulation parameters. We also cover general recommendations including inclusion and exclusion criteria for participants, outcome parameters and the detailed reporting of side effects. Furthermore, we review strategies used to identify the optimal stimulation parameters for a given research setting and summarize ongoing developments in animal research with potential implications for the application of tVNS in humans. Finally, we discuss the potential of tVNS in future research as well as the associated challenges across several disciplines in research and clinical practice. (shrink)

Given its non-invasive nature, there is increasing interest in the use of transcutaneous vagus nerve stimulation across basic, translational and clinical research. Contemporaneously, tVNS can be achieved by stimulating either the auricular branch or the cervical bundle of the vagus nerve, referred to as transcutaneous auricular vagus nerve stimulation and transcutaneous cervical VNS, respectively. In order to advance the field in a systematic manner, studies using these technologies need to adequately report sufficient methodological detail to enable comparison of results between (...) studies, replication of studies, as well as enhancing study participant safety. We systematically reviewed the existing tVNS literature to evaluate current reporting practices. Based on this review, and consensus among participating authors, we propose a set of minimal reporting items to guide future tVNS studies. The suggested items address specific technical aspects of the device and stimulation parameters. We also cover general recommendations including inclusion and exclusion criteria for participants, outcome parameters and the detailed reporting of side effects. Furthermore, we review strategies used to identify the optimal stimulation parameters for a given research setting and summarize ongoing developments in animal research with potential implications for the application of tVNS in humans. Finally, we discuss the potential of tVNS in future research as well as the associated challenges across several disciplines in research and clinical practice. (shrink)

”This paper describes a new and innovative measure that is developed to predict workplace deviance through the measurement of Machiavellianism and Compliant Behavior. Two field studies were conducted to study the validity of the digital work simulation. In Study 1, support was found for the construct validity of the simulation. The constructs as measured with the simulation correlated significantly with self-reported measures of the constructs and were related to personality and self-esteem. Study 2 examined the criterion-related validity of the simulation (...) and showed that through the assessment of Machiavellianism the simulation was able to predict workplace deviance, and incrementally predicted organizational deviance over and above the Machiavellianism Personality Scale. Machiavellianism as measured with the simulation was less susceptible to social desirable answering compared to the Machiavellianism self-report. The paper finishes with study limitations, future research directions, and practical implications. (shrink)

Ordinal functions may be iterated transfinitely in a natural way by taking pointwise limits at limit stages. However, this has disadvantages, especially when working in the class of normal functions, as pointwise limits do not preserve normality. To this end we present an alternative method to assign to each normal function f a family of normal functions Hyp[f]=〈fξ〉ξ∈OnHyp[f]=〈fξ〉ξ∈On, called its hyperation, in such a way that f0=idf0=id, f1=ff1=f and fα+β=fα∘fβfα+β=fα∘fβ for all α, β.Hyperations are a refinement of the Veblen hierarchy (...) of f. Moreover, if f is normal and has a well-behaved left-inverse g called a left adjoint, then g can be assigned a cohyperationcoH[g]=〈gξ〉ξ∈OncoH[g]=〈gξ〉ξ∈On, which is a family of initial functions such that gξgξ is a left adjoint to fξfξ for all ξ. (shrink)

Hooglands commentaar op mijn ‘Pluralisme’ komt hierop neer dat levensbeschouwelijke neutraliteit niet mogelijk is, noch voor de overheid, noch voor de individuele burger. We kunnen geen radicale buitenstaanderspositie innemen tegenover de levensbeschouwing die we erop nahouden. Dat zou een vorm van hybris zijn. Wie niettemin levensbeschouwelijke neutraliteit bepleit en deze identificeert met tolerantie voor de levensbeschouwingen van anderen, pretendeert in feite dat het eigen tolerante standpunt moreel superieur is aan het standpunt van al diegenen die aan hun levensbeschouwing vastgeklonken (...) zitten. Dat is moreel verwerpelijk. (shrink)

There have been two different schools of thought on the evolution of dominance. On the one hand, followers of Wright [Wright S. 1929. Am. Nat. 63: 274–279, Evolution: Selected Papers by Sewall Wright, University of Chicago Press, Chicago; 1934. Am. Nat. 68: 25–53, Evolution: Selected Papers by Sewall Wright, University of Chicago Press, Chicago; Haldane J.B.S. 1930. Am. Nat. 64: 87–90; 1939. J. Genet. 37: 365–374; Kacser H. and Burns J.A. 1981. Genetics 97: 639–666] have defended the view that dominance (...) is a product of non-linearities in gene expression. On the other hand, followers of Fisher [Fisher R.A. 1928a. Am. Nat. 62: 15–126; 1928b. Am. Nat. 62: 571–574; Bürger R. 1983a. Math. Biosci. 67: 125–143; 1983b. J. Math. Biol. 16: 269–280; Wagner G. and Burger R. 1985. J. Theor. Biol. 113: 475–500; Mayo O. and Reinhard B. 1997. Biol. Rev. 72: 97–110] have argued that dominance evolved via selection on modifier genes. Some have called these “physiological” versus “selectionist,” or more recently [Falk R. 2001. Biol. Philos. 16: 285–323], “functional,” versus “structural” explanations of dominance. This paper argues, however, that one need not treat these explanations as exclusive. While one can disagree about the most likely evolutionary explanation of dominance, as Wright and Fisher did, offering a “physiological” or developmental explanation of dominance does not render dominance “epiphenomenal,” nor show that evolutionary considerations are irrelevant to the maintenance of dominance, as some [Kacser H. and Burns J.A. 1981. Genetics 97: 639–666] have argued. Recent work [Gilchrist M.A. and Nijhout H.F. 2001. Genetics 159: 423–432] illustrates how biological explanation is a multi-level task, requiring both a “top-down” approach to understanding how a pattern of inheritance or trait might be maintained in populations, as well as “bottom-up” modeling of the dynamics of gene expression. (shrink)

This collected volume is inspired by the work of Edward Halper and is historically focused with contributions from leading scholars in Ancient and Medieval philosophy. Though its chapters cover a diverse range of topics in epistemology, ethics, and political philosophy, the collection is unified by the contributors’ consideration of these topics in terms of the fundamental questions of metaphysics. The first section of the volume, “Knowing and Being,” is dedicated to the connection between metaphysics and epistemology and includes chapters on (...) Heraclitus, Plato, Aristotle, and the Ancient Daoists. The second section, “Goodness as Knowing How to Be,” addresses ethics as an outgrowth of human metaphysical concerns and includes chapters on Plato, Aristotle, and Maimonides. Contributors include William H. F. Altman, Luc Brisson, Ronna Burger, Miriam Byrd, Owen Goldin, Lenn Goodman, Mitchell Miller, Richard Parry, Richard Patterson, Nastassja Pugliese, John Rist, May Sim, Roslyn Weiss, and Chad Wiener. (shrink)

Van der Merwe, P.J. - Brown, S. 1994. The nearest in affection: Towards a Christian understanding of Islam. (Bladsy 254-255)Van der Merwe, P.J. - Newbigin, L. 1991. The gospel in a pluralist society. (Bladsy 255-256)Van der Merwe, P.J. - Van der Merwe, D.C.S. 'n Watermodel vir die kosmologie of God se twee boeke met spesiale verwysing na Gen 1:1-19 en die moderne kosmologie. (Bladsy 256-258)Van der Merwe, P.J. - Kritzinger, J.J. Saayman, W. On being witnesses. (Bladsy 258-259)Dreyer, T.F.J. - Pieterse, (...) Hennie. Praktiese Teologie as kommunikatiewe handelingsteorie. (Bladsy 260-261)Boshoff, F.J. - Burger, C.W., Müller, B.A. Smit D.J. Riglyne vir prediking oor die Pastorale en Algemene Briewe (Woord teen die lig 11/6). (Bladsy 261-262)Du Toit, B.A. - Van Aarde, Andries. Kultuurhistoriese agtergrond van die Nuwe Testament: Die eerste-eeuse Mediterreense sosiale konteks. (Bladsy 263-264)Van der Merwe, Paul - Van der Westhuizen, H.G. Herder van Angola. (Bladsy 264-268)Beukes J.A. - Burger, C.W., Müller, B.A. Smit D.J. Riglyne vir prediking oor regverdiging en reg: Woord teen die lig 111/3. (Bladsy 260-270)Engelbrecht Johannes J. - Joubert, Stephan. Matteus vandag. (Bladsy 270-272)Botes H.J. - Celliers, Johan. God vir ons. (Bladsy 272-274)Pretorius, S.P. - Papp, Kálmán. Die Nederduitsch Hervormde Gemeente Krugersdorp 1891 - 1991. (Bladsy 274-275). (shrink)

This paper responds to the issues raised by D. Chalmers by offering a research direction which is quite radical because of the way in which methodological principles are linked to scientific studies of consciousness. Neuro-phenomenology is the name I use here to designate a quest to marry modern cognitive science and a disciplined approach to human experience, thereby placing myself in the lineage of the continental tradition of Phenomenology. My claim is that the so-called hard problem that animates these Special (...) Issues can only be addressed productively by gathering a research community armed with new pragmatic tools for the development of a science of consciousness. I will claim that no piecemeal empirical correlates, nor purely theoretical principles, will really help us at this stage. We need to turn to a systematic exploration of the only link between mind and consciousness that seems both obvious and natural: the structure of human experience itself. In what follows I motivate my choice by briefly examining the current debate about consciousness at the light of Chalmer’s hard problem. Next, I outline the phenomenological strategy. Finally I conclude by discussing some of the main difficulties and consequences of this strategy. (shrink)

This paper starts with one of Chalmers’ basic points: first-hand experience is an irreducible field of phenomena. I claim there is no ‘theoretical fix’ or ‘extra ingredient’ in nature that can possibly bridge this gap. Instead, the field of conscious phenomena requires a rigorous method and an explicit pragmatics for its exploration and analysis. My proposed approach, inspired by the style of inquiry of phenomenology, I have called neurophenomenology. It seeks articulations by mutual constraints between phenomena present in experience and (...) the correlative field of phenomena established by the cognitive sciences. It needs to expand into a widening research community in which the method is cultivated further. (shrink)

We will show that there is a strong form of emergence in cell biology. Beginning with C.D. Broad's classic discussion of emergence, we distinguish two conditions sufficient for emergence. Emergence in biology must be compatible with the thought that all explanations of systemic properties are mechanistic explanations and with their sufficiency. Explanations of systemic properties are always in terms of the properties of the parts within the system. Nonetheless, systemic properties can still be emergent. If the properties of the components (...) within the system cannot be predicted, even in principle, from the behavior of the system's parts within simpler wholes then there also will be systemic properties which cannot be predicted, even in principle, on basis of the behavior of these parts. We show in an explicit case study drawn from molecular cell physiology that biochemical networks display this kind of emergence, even though they deploy only mechanistic explanations. This illustrates emergence and its place in nature. (shrink)

This article is a translation into english of a lecture given by paneth in 1931. The content of the work is described by the section titles: (1) the need for epistemological clarification of the fundamental concepts of chemistry, (2) the concept of substance in chemistry, (3) the epistemological standpoint of the ancient atomists, (4) the epistemological position of the concept of element introduced by lavoisier, (5) the double meaning of the chemical concept of element: 'basic substance' and 'simple substance', And (...) (6) the double meaning of other chemical concepts. Sections (4)-(6) are published in the following number of this journal. (staff). (shrink)

This work gathers selected essays by the author in two areas of philosophy. The first 12 pieces concern the philosophy of language, and the volume is completed by four studies in Kantian metaphysics.

This article is a translation into english of a lecture given by paneth in 1931. The content of the work is described by the section titles: (1) the need for epistemological clarification of the fundamental concepts of chemistry, (2) the concept of substance in chemistry, (3) the epistemological standpoint of the ancient atomists, (4) the epistemological position of the concept of element introduced by lavoisier, (5) the double meaning of the chemical concept of element: 'basic substance' and 'simple substance', And (...) (6) the double meaning of other chemical concepts. Sections (4)-(6) are published in the following number of this journal. (staff). (shrink)

The use of biotechnology in food productiongives rise to consumer concerns. The term ``consumerconcern'' is often used as a container notion. Itincludes concerns about food safety, environmental andanimal welfare consequences of food productionsystems, and intrinsic moral objections againstgenetic modification. In order to create clarity adistinction between three different kinds of consumerconcern is proposed. Consumer concerns can be seen assigns of loss of trust. Maintaining consumer trustasks for governmental action. Towards consumerconcerns, governments seem to have limitedpossibilities for public policy. Under current (...) WTOregulations designed to prevent trade disputes,governments can only limit their policies to 1) safetyregulation based upon sound scientific evidence and 2)the stimulation of a system of product labeling. Ananalysis of trust, however, can show that ifgovernments limit their efforts in this way, they willnot do enough to avoid the types of consumer concernsthat diminish trust. The establishment of a technicalbody for food safety – although perhaps necessary –is in itself not enough, because concerns that relatedirectly to food safety cannot be solved by ``pure''science alone. And labeling can only be a good way totake consumer concerns seriously if these concerns arerelated to consumer autonomy. For consumer concernsthat are linked to ideas about a good society,labeling can only provide a solution if it is seen asan addition to political action rather than as itssubstitution. Labeling can help consumers take uptheir political responsibility. As citizens, consumershave certain reasonable concerns that can justifiableinfluence the market. In a free-market society, theyare, as buyers, co-creators of the market, andsocietal steering is partly done by the market.Therefore, they need the information to co-create thatmarket. The basis of labeling in these cases, however,is not the good life of the individual but thepolitical responsibility people have in their role asparticipants in a free-market. Then, public concernsare taken seriously. Labeling in that case does nottake away the possibilities of reaching politicalgoals, but it adds a possibility. (shrink)

How can I wright an abstract ir I can't. read the article? I'm interested in reading it because I'm writing a papel on Philosophy of Technology but I have no acesso to this. Text. It's a shame! What can I do??? -/- Luisa.

Vardanyan’s Theorems [36, 37] state that $\mathsf {QPL}(\mathsf {PA})$ —the quantified provability logic of Peano Arithmetic—is $\Pi ^0_2$ complete, and in particular that this already holds when the language is restricted to a single unary predicate. Moreover, Visser and de Jonge [38] generalized this result to conclude that it is impossible to computably axiomatize the quantified provability logic of a wide class of theories. However, the proof of this fact cannot be performed in a strictly positive signature. The system $\mathsf (...) {QRC_1}$ was previously introduced by the authors [1] as a candidate first-order provability logic. Here we generalize the previously available Kripke soundness and completeness proofs, obtaining constant domain completeness. Then we show that $\mathsf {QRC_1}$ is indeed complete with respect to arithmetical semantics. This is achieved via a Solovay-type construction applied to constant domain Kripke models. As corollaries, we see that $\mathsf {QRC_1}$ is the strictly positive fragment of $\mathsf {QGL}$ and a fragment of $\mathsf {QPL}(\mathsf {PA})$. (shrink)

Veterinarians play an essential role in the animal-based food chain. They are professionally responsible for the health of farm animals to secure food safety and public health. In the last decades, food scandals and zoonotic disease outbreaks have shown how much animal and human health are entangled. Therefore, the concept of One Health is broadly promoted within veterinary medicine. The profession embraces this idea that the health of humans, animals and the environment is inextricably linked and supports the related call (...) for transdisciplinary collaboration. Especially in zoonotic disease control, the benefits of the cooperation between veterinarians and human doctors seem evident. However, applying a One Health approach also makes moral problems explicit. For instance, how should veterinarians deal with situations in which measures to protect public health negatively affect animal health? This creates a conflict of professional responsibilities. To deal with such moral problems and to strengthen the veterinarian’s position, the starting point is a holistic perspective on One Health. We will argue for an ‘encapsulated health’ argument: the best way to safeguard human health is to promote the health of animals and the environment. This also holds for the responsibility of the veterinary profession: to serve public health, the central responsibility of veterinarians should be to be experts in animal health and welfare. We elaborate this point by using a case study on the role of the veterinary profession in antimicrobial resistance policies in the Netherlands. (shrink)

How might philosophy of religion be impacted by developments in computational modeling and social simulation? After briefly describing some of the content and context biases that have shaped traditional philosophy of religion, this article provides examples of computational models that illustrate the explanatory power of conceptually clear and empirically validated causal architectures informed by the bio-cultural sciences. It also outlines some of the material implications of these developments for broader metaphysical and metaethical discussions in philosophy. Computer modeling and simulation can (...) contribute to the reformation of the philosophy of religion in at least three ways: by facilitating conceptual clarity about the role of biases in the emergence and maintenance of phenomena commonly deemed “religious,” by supplying tools that enhance our capacity to link philosophical analysis and synthesis to empirical data in the psychological and social sciences, and by providing material insights for metaphysical hypotheses and metaethical proposals that rely solely on immanent resources. (shrink)

First Published in 2004. Routledge is an imprint of Taylor & Francis, an informa company.

Christology seems to fall fairly clearly into two divisions. The first is concerned with the truth of the two propositions: ‘Christ is God’ and ‘Christ is a man’. The second is concerned with the mutual compatibility of these propositions. The first part of Christology tends to confine itself to what is sometimes called ‘positive theology’: that is to say, it is largely given over to examining the Jons revelationis —let us not prejudge currently burning issues by asking what this is—to (...) see what evidence can be found for the truth of these propositions. Clearly, the methods used will be above all those of New Testament exegesis. The second part of Christology will necessarily consist entirely of that speculative theology which is contrasted with positive theology. Even if the earliest speculation on this topic is to be found in the New Testament itself and thus becomes fair game for the exegetes, any attempt to relate the primary truths, ‘Christ is God’ and ‘Christ is a man’, to eachother is a work of reflection, and in the terminology I am using speculative. (shrink)

Standard models of adolescent risk taking posit that the cognitive abilities of adolescents and adults are equivalent, and that increases in risk taking that occur during adolescence are the result of socio emotional differences in impulsivity, sensation seeking, and lack of self-control. Fuzzy-trace theory incorporates these socio emotional differences. However, it predicts that there are also cognitive differences between adolescents and adults, specifically that there are developmental increases in gist-based intuition that reflects understanding. Gist understanding, as opposed to verbatim-based analysis, (...) generally has been hypothesized to have a protective effect on risk taking in adolescence. Gist understanding is also an essential element of informed consent regarding risks in medical decision- making. Evidence thus supports the argument that adolescents’ status as mature minors should be treated as an exception rather than a presumption, because accuracy in verbatim analysis is not mature gist understanding. Use of the exception should be accompanied by medical experts’ input on the bottom-line gist of risks involved in treatment. (shrink)

Timothy Williamson, in various places, has put forward an argument that is supposed to show that denying bivalence is absurd. This paper is an examination of the logical force of this argument, which is found wanting.

In this essay, I shall discuss ethical issues that arise with our increasing ability to affect the genetic makeup of the human population. These effects can be produced directly by altering the genotype, or indirectly by aborting, not conceiving, or treating individuals because of their genetic makeup in ways made possible by genetic pharmacology. I shall refer to all of these sorts of procedures collectively as the Procedures. Some of the ethical issues the Procedures raise are old, arising quite generally (...) when we can affect the well-being of people, even in the absence of the ability to affect them in the ways just described. My examination of these issues is prompted by the recent at-length discussion of them, From Chance to Choice, by Allen Buchanan, Dan Brock, Norman Daniels, and Daniel Wikler. (shrink)

This landmark dissertation provides a systematic introduction to systems of modal logic and stands as the first presentation of what have become central ideas in philosophy of language and metaphysics, from the 'new theory of reference' and non-linguistic necessity and essentialism to 'Kripke semantics'.